Optimal. Leaf size=781 \[ \frac {4 d e \sqrt {d+e x}}{c}+\frac {2 e (d+e x)^{3/2}}{3 c}-\frac {e \left (2 c^{3/2} d^3+2 a \sqrt {c} d e^2-\left (3 c d^2-a e^2\right ) \sqrt {c d^2+a e^2}\right ) \tanh ^{-1}\left (\frac {\sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}-\sqrt {2} \sqrt [4]{c} \sqrt {d+e x}}{\sqrt {\sqrt {c} d-\sqrt {c d^2+a e^2}}}\right )}{\sqrt {2} c^{7/4} \sqrt {c d^2+a e^2} \sqrt {\sqrt {c} d-\sqrt {c d^2+a e^2}}}+\frac {e \left (2 c^{3/2} d^3+2 a \sqrt {c} d e^2-\left (3 c d^2-a e^2\right ) \sqrt {c d^2+a e^2}\right ) \tanh ^{-1}\left (\frac {\sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}+\sqrt {2} \sqrt [4]{c} \sqrt {d+e x}}{\sqrt {\sqrt {c} d-\sqrt {c d^2+a e^2}}}\right )}{\sqrt {2} c^{7/4} \sqrt {c d^2+a e^2} \sqrt {\sqrt {c} d-\sqrt {c d^2+a e^2}}}+\frac {e \left (2 c^{3/2} d^3+2 a \sqrt {c} d e^2+\left (3 c d^2-a e^2\right ) \sqrt {c d^2+a e^2}\right ) \log \left (\sqrt {c d^2+a e^2}-\sqrt {2} \sqrt [4]{c} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}} \sqrt {d+e x}+\sqrt {c} (d+e x)\right )}{2 \sqrt {2} c^{7/4} \sqrt {c d^2+a e^2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}}-\frac {e \left (2 c^{3/2} d^3+2 a \sqrt {c} d e^2+\left (3 c d^2-a e^2\right ) \sqrt {c d^2+a e^2}\right ) \log \left (\sqrt {c d^2+a e^2}+\sqrt {2} \sqrt [4]{c} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}} \sqrt {d+e x}+\sqrt {c} (d+e x)\right )}{2 \sqrt {2} c^{7/4} \sqrt {c d^2+a e^2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 2.01, antiderivative size = 781, normalized size of antiderivative = 1.00, number of steps
used = 12, number of rules used = 8, integrand size = 19, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.421, Rules used = {718, 839, 841,
1183, 648, 632, 212, 642} \begin {gather*} \frac {e \left (\left (3 c d^2-a e^2\right ) \sqrt {a e^2+c d^2}+2 a \sqrt {c} d e^2+2 c^{3/2} d^3\right ) \log \left (-\sqrt {2} \sqrt [4]{c} \sqrt {d+e x} \sqrt {\sqrt {a e^2+c d^2}+\sqrt {c} d}+\sqrt {a e^2+c d^2}+\sqrt {c} (d+e x)\right )}{2 \sqrt {2} c^{7/4} \sqrt {a e^2+c d^2} \sqrt {\sqrt {a e^2+c d^2}+\sqrt {c} d}}-\frac {e \left (\left (3 c d^2-a e^2\right ) \sqrt {a e^2+c d^2}+2 a \sqrt {c} d e^2+2 c^{3/2} d^3\right ) \log \left (\sqrt {2} \sqrt [4]{c} \sqrt {d+e x} \sqrt {\sqrt {a e^2+c d^2}+\sqrt {c} d}+\sqrt {a e^2+c d^2}+\sqrt {c} (d+e x)\right )}{2 \sqrt {2} c^{7/4} \sqrt {a e^2+c d^2} \sqrt {\sqrt {a e^2+c d^2}+\sqrt {c} d}}-\frac {e \left (-\left (3 c d^2-a e^2\right ) \sqrt {a e^2+c d^2}+2 a \sqrt {c} d e^2+2 c^{3/2} d^3\right ) \tanh ^{-1}\left (\frac {\sqrt {\sqrt {a e^2+c d^2}+\sqrt {c} d}-\sqrt {2} \sqrt [4]{c} \sqrt {d+e x}}{\sqrt {\sqrt {c} d-\sqrt {a e^2+c d^2}}}\right )}{\sqrt {2} c^{7/4} \sqrt {a e^2+c d^2} \sqrt {\sqrt {c} d-\sqrt {a e^2+c d^2}}}+\frac {e \left (-\left (3 c d^2-a e^2\right ) \sqrt {a e^2+c d^2}+2 a \sqrt {c} d e^2+2 c^{3/2} d^3\right ) \tanh ^{-1}\left (\frac {\sqrt {\sqrt {a e^2+c d^2}+\sqrt {c} d}+\sqrt {2} \sqrt [4]{c} \sqrt {d+e x}}{\sqrt {\sqrt {c} d-\sqrt {a e^2+c d^2}}}\right )}{\sqrt {2} c^{7/4} \sqrt {a e^2+c d^2} \sqrt {\sqrt {c} d-\sqrt {a e^2+c d^2}}}+\frac {2 e (d+e x)^{3/2}}{3 c}+\frac {4 d e \sqrt {d+e x}}{c} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 212
Rule 632
Rule 642
Rule 648
Rule 718
Rule 839
Rule 841
Rule 1183
Rubi steps
\begin {align*} \int \frac {(d+e x)^{5/2}}{a+c x^2} \, dx &=\frac {2 e (d+e x)^{3/2}}{3 c}+\frac {\int \frac {\sqrt {d+e x} \left (c d^2-a e^2+2 c d e x\right )}{a+c x^2} \, dx}{c}\\ &=\frac {4 d e \sqrt {d+e x}}{c}+\frac {2 e (d+e x)^{3/2}}{3 c}+\frac {\int \frac {c d \left (c d^2-3 a e^2\right )+c e \left (3 c d^2-a e^2\right ) x}{\sqrt {d+e x} \left (a+c x^2\right )} \, dx}{c^2}\\ &=\frac {4 d e \sqrt {d+e x}}{c}+\frac {2 e (d+e x)^{3/2}}{3 c}+\frac {2 \text {Subst}\left (\int \frac {c d e \left (c d^2-3 a e^2\right )-c d e \left (3 c d^2-a e^2\right )+c e \left (3 c d^2-a e^2\right ) x^2}{c d^2+a e^2-2 c d x^2+c x^4} \, dx,x,\sqrt {d+e x}\right )}{c^2}\\ &=\frac {4 d e \sqrt {d+e x}}{c}+\frac {2 e (d+e x)^{3/2}}{3 c}+\frac {\text {Subst}\left (\int \frac {\frac {\sqrt {2} \left (c d e \left (c d^2-3 a e^2\right )-c d e \left (3 c d^2-a e^2\right )\right ) \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}}{\sqrt [4]{c}}-\left (c d e \left (c d^2-3 a e^2\right )-c d e \left (3 c d^2-a e^2\right )-\sqrt {c} e \left (3 c d^2-a e^2\right ) \sqrt {c d^2+a e^2}\right ) x}{\frac {\sqrt {c d^2+a e^2}}{\sqrt {c}}-\frac {\sqrt {2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}} x}{\sqrt [4]{c}}+x^2} \, dx,x,\sqrt {d+e x}\right )}{\sqrt {2} c^{9/4} \sqrt {c d^2+a e^2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}}+\frac {\text {Subst}\left (\int \frac {\frac {\sqrt {2} \left (c d e \left (c d^2-3 a e^2\right )-c d e \left (3 c d^2-a e^2\right )\right ) \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}}{\sqrt [4]{c}}+\left (c d e \left (c d^2-3 a e^2\right )-c d e \left (3 c d^2-a e^2\right )-\sqrt {c} e \left (3 c d^2-a e^2\right ) \sqrt {c d^2+a e^2}\right ) x}{\frac {\sqrt {c d^2+a e^2}}{\sqrt {c}}+\frac {\sqrt {2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}} x}{\sqrt [4]{c}}+x^2} \, dx,x,\sqrt {d+e x}\right )}{\sqrt {2} c^{9/4} \sqrt {c d^2+a e^2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}}\\ &=\frac {4 d e \sqrt {d+e x}}{c}+\frac {2 e (d+e x)^{3/2}}{3 c}-\frac {\left (e \left (2 c^{3/2} d^3+2 a \sqrt {c} d e^2-\left (3 c d^2-a e^2\right ) \sqrt {c d^2+a e^2}\right )\right ) \text {Subst}\left (\int \frac {1}{\frac {\sqrt {c d^2+a e^2}}{\sqrt {c}}-\frac {\sqrt {2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}} x}{\sqrt [4]{c}}+x^2} \, dx,x,\sqrt {d+e x}\right )}{2 c^2 \sqrt {c d^2+a e^2}}-\frac {\left (e \left (2 c^{3/2} d^3+2 a \sqrt {c} d e^2-\left (3 c d^2-a e^2\right ) \sqrt {c d^2+a e^2}\right )\right ) \text {Subst}\left (\int \frac {1}{\frac {\sqrt {c d^2+a e^2}}{\sqrt {c}}+\frac {\sqrt {2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}} x}{\sqrt [4]{c}}+x^2} \, dx,x,\sqrt {d+e x}\right )}{2 c^2 \sqrt {c d^2+a e^2}}+\frac {\left (e \left (2 c^{3/2} d^3+2 a \sqrt {c} d e^2+\left (3 c d^2-a e^2\right ) \sqrt {c d^2+a e^2}\right )\right ) \text {Subst}\left (\int \frac {-\frac {\sqrt {2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}}{\sqrt [4]{c}}+2 x}{\frac {\sqrt {c d^2+a e^2}}{\sqrt {c}}-\frac {\sqrt {2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}} x}{\sqrt [4]{c}}+x^2} \, dx,x,\sqrt {d+e x}\right )}{2 \sqrt {2} c^{7/4} \sqrt {c d^2+a e^2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}}-\frac {\left (e \left (2 c^{3/2} d^3+2 a \sqrt {c} d e^2+\left (3 c d^2-a e^2\right ) \sqrt {c d^2+a e^2}\right )\right ) \text {Subst}\left (\int \frac {\frac {\sqrt {2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}}{\sqrt [4]{c}}+2 x}{\frac {\sqrt {c d^2+a e^2}}{\sqrt {c}}+\frac {\sqrt {2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}} x}{\sqrt [4]{c}}+x^2} \, dx,x,\sqrt {d+e x}\right )}{2 \sqrt {2} c^{7/4} \sqrt {c d^2+a e^2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}}\\ &=\frac {4 d e \sqrt {d+e x}}{c}+\frac {2 e (d+e x)^{3/2}}{3 c}+\frac {e \left (2 c^{3/2} d^3+2 a \sqrt {c} d e^2+\left (3 c d^2-a e^2\right ) \sqrt {c d^2+a e^2}\right ) \log \left (\sqrt {c d^2+a e^2}-\sqrt {2} \sqrt [4]{c} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}} \sqrt {d+e x}+\sqrt {c} (d+e x)\right )}{2 \sqrt {2} c^{7/4} \sqrt {c d^2+a e^2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}}-\frac {e \left (2 c^{3/2} d^3+2 a \sqrt {c} d e^2+\left (3 c d^2-a e^2\right ) \sqrt {c d^2+a e^2}\right ) \log \left (\sqrt {c d^2+a e^2}+\sqrt {2} \sqrt [4]{c} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}} \sqrt {d+e x}+\sqrt {c} (d+e x)\right )}{2 \sqrt {2} c^{7/4} \sqrt {c d^2+a e^2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}}+\frac {\left (e \left (2 c^{3/2} d^3+2 a \sqrt {c} d e^2-\left (3 c d^2-a e^2\right ) \sqrt {c d^2+a e^2}\right )\right ) \text {Subst}\left (\int \frac {1}{2 \left (d-\frac {\sqrt {c d^2+a e^2}}{\sqrt {c}}\right )-x^2} \, dx,x,-\frac {\sqrt {2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}}{\sqrt [4]{c}}+2 \sqrt {d+e x}\right )}{c^2 \sqrt {c d^2+a e^2}}+\frac {\left (e \left (2 c^{3/2} d^3+2 a \sqrt {c} d e^2-\left (3 c d^2-a e^2\right ) \sqrt {c d^2+a e^2}\right )\right ) \text {Subst}\left (\int \frac {1}{2 \left (d-\frac {\sqrt {c d^2+a e^2}}{\sqrt {c}}\right )-x^2} \, dx,x,\frac {\sqrt {2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}}{\sqrt [4]{c}}+2 \sqrt {d+e x}\right )}{c^2 \sqrt {c d^2+a e^2}}\\ &=\frac {4 d e \sqrt {d+e x}}{c}+\frac {2 e (d+e x)^{3/2}}{3 c}-\frac {e \left (2 c^{3/2} d^3+2 a \sqrt {c} d e^2-\left (3 c d^2-a e^2\right ) \sqrt {c d^2+a e^2}\right ) \tanh ^{-1}\left (\frac {\sqrt [4]{c} \left (\frac {\sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}}{\sqrt [4]{c}}-\sqrt {2} \sqrt {d+e x}\right )}{\sqrt {\sqrt {c} d-\sqrt {c d^2+a e^2}}}\right )}{\sqrt {2} c^{7/4} \sqrt {c d^2+a e^2} \sqrt {\sqrt {c} d-\sqrt {c d^2+a e^2}}}+\frac {e \left (2 c^{3/2} d^3+2 a \sqrt {c} d e^2-\left (3 c d^2-a e^2\right ) \sqrt {c d^2+a e^2}\right ) \tanh ^{-1}\left (\frac {\sqrt [4]{c} \left (\frac {\sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}}{\sqrt [4]{c}}+\sqrt {2} \sqrt {d+e x}\right )}{\sqrt {\sqrt {c} d-\sqrt {c d^2+a e^2}}}\right )}{\sqrt {2} c^{7/4} \sqrt {c d^2+a e^2} \sqrt {\sqrt {c} d-\sqrt {c d^2+a e^2}}}+\frac {e \left (2 c^{3/2} d^3+2 a \sqrt {c} d e^2+\left (3 c d^2-a e^2\right ) \sqrt {c d^2+a e^2}\right ) \log \left (\sqrt {c d^2+a e^2}-\sqrt {2} \sqrt [4]{c} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}} \sqrt {d+e x}+\sqrt {c} (d+e x)\right )}{2 \sqrt {2} c^{7/4} \sqrt {c d^2+a e^2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}}-\frac {e \left (2 c^{3/2} d^3+2 a \sqrt {c} d e^2+\left (3 c d^2-a e^2\right ) \sqrt {c d^2+a e^2}\right ) \log \left (\sqrt {c d^2+a e^2}+\sqrt {2} \sqrt [4]{c} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}} \sqrt {d+e x}+\sqrt {c} (d+e x)\right )}{2 \sqrt {2} c^{7/4} \sqrt {c d^2+a e^2} \sqrt {\sqrt {c} d+\sqrt {c d^2+a e^2}}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains complex when optimal does not.
time = 0.51, size = 250, normalized size = 0.32 \begin {gather*} \frac {2 \sqrt {c} e \sqrt {d+e x} (7 d+e x)+\frac {3 i \left (\sqrt {c} d+i \sqrt {a} e\right )^3 \tan ^{-1}\left (\frac {\sqrt {-c d-i \sqrt {a} \sqrt {c} e} \sqrt {d+e x}}{\sqrt {c} d+i \sqrt {a} e}\right )}{\sqrt {a} \sqrt {-c d-i \sqrt {a} \sqrt {c} e}}-\frac {3 i \left (\sqrt {c} d-i \sqrt {a} e\right )^3 \tan ^{-1}\left (\frac {\sqrt {-c d+i \sqrt {a} \sqrt {c} e} \sqrt {d+e x}}{\sqrt {c} d-i \sqrt {a} e}\right )}{\sqrt {a} \sqrt {-c d+i \sqrt {a} \sqrt {c} e}}}{3 c^{3/2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(1598\) vs.
\(2(632)=1264\).
time = 0.65, size = 1599, normalized size = 2.05
method | result | size |
derivativedivides | \(\text {Expression too large to display}\) | \(1599\) |
default | \(\text {Expression too large to display}\) | \(1599\) |
risch | \(\text {Expression too large to display}\) | \(3924\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 1546 vs.
\(2 (620) = 1240\).
time = 1.63, size = 1546, normalized size = 1.98 \begin {gather*} -\frac {3 \, c \sqrt {-\frac {c^{2} d^{5} - 10 \, a c d^{3} e^{2} + a c^{3} \sqrt {-\frac {25 \, c^{4} d^{8} e^{2} - 100 \, a c^{3} d^{6} e^{4} + 110 \, a^{2} c^{2} d^{4} e^{6} - 20 \, a^{3} c d^{2} e^{8} + a^{4} e^{10}}{a c^{7}}} + 5 \, a^{2} d e^{4}}{a c^{3}}} \log \left ({\left (5 \, c^{4} d^{8} e - 14 \, a^{2} c^{2} d^{4} e^{5} - 8 \, a^{3} c d^{2} e^{7} + a^{4} e^{9}\right )} \sqrt {x e + d} + {\left (10 \, a c^{4} d^{5} e^{2} - 20 \, a^{2} c^{3} d^{3} e^{4} + 2 \, a^{3} c^{2} d e^{6} + {\left (a c^{6} d^{2} - a^{2} c^{5} e^{2}\right )} \sqrt {-\frac {25 \, c^{4} d^{8} e^{2} - 100 \, a c^{3} d^{6} e^{4} + 110 \, a^{2} c^{2} d^{4} e^{6} - 20 \, a^{3} c d^{2} e^{8} + a^{4} e^{10}}{a c^{7}}}\right )} \sqrt {-\frac {c^{2} d^{5} - 10 \, a c d^{3} e^{2} + a c^{3} \sqrt {-\frac {25 \, c^{4} d^{8} e^{2} - 100 \, a c^{3} d^{6} e^{4} + 110 \, a^{2} c^{2} d^{4} e^{6} - 20 \, a^{3} c d^{2} e^{8} + a^{4} e^{10}}{a c^{7}}} + 5 \, a^{2} d e^{4}}{a c^{3}}}\right ) - 3 \, c \sqrt {-\frac {c^{2} d^{5} - 10 \, a c d^{3} e^{2} + a c^{3} \sqrt {-\frac {25 \, c^{4} d^{8} e^{2} - 100 \, a c^{3} d^{6} e^{4} + 110 \, a^{2} c^{2} d^{4} e^{6} - 20 \, a^{3} c d^{2} e^{8} + a^{4} e^{10}}{a c^{7}}} + 5 \, a^{2} d e^{4}}{a c^{3}}} \log \left ({\left (5 \, c^{4} d^{8} e - 14 \, a^{2} c^{2} d^{4} e^{5} - 8 \, a^{3} c d^{2} e^{7} + a^{4} e^{9}\right )} \sqrt {x e + d} - {\left (10 \, a c^{4} d^{5} e^{2} - 20 \, a^{2} c^{3} d^{3} e^{4} + 2 \, a^{3} c^{2} d e^{6} + {\left (a c^{6} d^{2} - a^{2} c^{5} e^{2}\right )} \sqrt {-\frac {25 \, c^{4} d^{8} e^{2} - 100 \, a c^{3} d^{6} e^{4} + 110 \, a^{2} c^{2} d^{4} e^{6} - 20 \, a^{3} c d^{2} e^{8} + a^{4} e^{10}}{a c^{7}}}\right )} \sqrt {-\frac {c^{2} d^{5} - 10 \, a c d^{3} e^{2} + a c^{3} \sqrt {-\frac {25 \, c^{4} d^{8} e^{2} - 100 \, a c^{3} d^{6} e^{4} + 110 \, a^{2} c^{2} d^{4} e^{6} - 20 \, a^{3} c d^{2} e^{8} + a^{4} e^{10}}{a c^{7}}} + 5 \, a^{2} d e^{4}}{a c^{3}}}\right ) + 3 \, c \sqrt {-\frac {c^{2} d^{5} - 10 \, a c d^{3} e^{2} - a c^{3} \sqrt {-\frac {25 \, c^{4} d^{8} e^{2} - 100 \, a c^{3} d^{6} e^{4} + 110 \, a^{2} c^{2} d^{4} e^{6} - 20 \, a^{3} c d^{2} e^{8} + a^{4} e^{10}}{a c^{7}}} + 5 \, a^{2} d e^{4}}{a c^{3}}} \log \left ({\left (5 \, c^{4} d^{8} e - 14 \, a^{2} c^{2} d^{4} e^{5} - 8 \, a^{3} c d^{2} e^{7} + a^{4} e^{9}\right )} \sqrt {x e + d} + {\left (10 \, a c^{4} d^{5} e^{2} - 20 \, a^{2} c^{3} d^{3} e^{4} + 2 \, a^{3} c^{2} d e^{6} - {\left (a c^{6} d^{2} - a^{2} c^{5} e^{2}\right )} \sqrt {-\frac {25 \, c^{4} d^{8} e^{2} - 100 \, a c^{3} d^{6} e^{4} + 110 \, a^{2} c^{2} d^{4} e^{6} - 20 \, a^{3} c d^{2} e^{8} + a^{4} e^{10}}{a c^{7}}}\right )} \sqrt {-\frac {c^{2} d^{5} - 10 \, a c d^{3} e^{2} - a c^{3} \sqrt {-\frac {25 \, c^{4} d^{8} e^{2} - 100 \, a c^{3} d^{6} e^{4} + 110 \, a^{2} c^{2} d^{4} e^{6} - 20 \, a^{3} c d^{2} e^{8} + a^{4} e^{10}}{a c^{7}}} + 5 \, a^{2} d e^{4}}{a c^{3}}}\right ) - 3 \, c \sqrt {-\frac {c^{2} d^{5} - 10 \, a c d^{3} e^{2} - a c^{3} \sqrt {-\frac {25 \, c^{4} d^{8} e^{2} - 100 \, a c^{3} d^{6} e^{4} + 110 \, a^{2} c^{2} d^{4} e^{6} - 20 \, a^{3} c d^{2} e^{8} + a^{4} e^{10}}{a c^{7}}} + 5 \, a^{2} d e^{4}}{a c^{3}}} \log \left ({\left (5 \, c^{4} d^{8} e - 14 \, a^{2} c^{2} d^{4} e^{5} - 8 \, a^{3} c d^{2} e^{7} + a^{4} e^{9}\right )} \sqrt {x e + d} - {\left (10 \, a c^{4} d^{5} e^{2} - 20 \, a^{2} c^{3} d^{3} e^{4} + 2 \, a^{3} c^{2} d e^{6} - {\left (a c^{6} d^{2} - a^{2} c^{5} e^{2}\right )} \sqrt {-\frac {25 \, c^{4} d^{8} e^{2} - 100 \, a c^{3} d^{6} e^{4} + 110 \, a^{2} c^{2} d^{4} e^{6} - 20 \, a^{3} c d^{2} e^{8} + a^{4} e^{10}}{a c^{7}}}\right )} \sqrt {-\frac {c^{2} d^{5} - 10 \, a c d^{3} e^{2} - a c^{3} \sqrt {-\frac {25 \, c^{4} d^{8} e^{2} - 100 \, a c^{3} d^{6} e^{4} + 110 \, a^{2} c^{2} d^{4} e^{6} - 20 \, a^{3} c d^{2} e^{8} + a^{4} e^{10}}{a c^{7}}} + 5 \, a^{2} d e^{4}}{a c^{3}}}\right ) - 4 \, {\left (x e^{2} + 7 \, d e\right )} \sqrt {x e + d}}{6 \, c} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 40.89, size = 498, normalized size = 0.64 \begin {gather*} - \frac {4 a d e^{3} \operatorname {RootSum} {\left (t^{4} \cdot \left (256 a^{3} c e^{6} + 256 a^{2} c^{2} d^{2} e^{4}\right ) + 32 t^{2} a c d e^{2} + 1, \left ( t \mapsto t \log {\left (- 64 t^{3} a^{2} c d e^{4} - 64 t^{3} a c^{2} d^{3} e^{2} + 4 t a e^{2} - 4 t c d^{2} + \sqrt {d + e x} \right )} \right )\right )}}{c} - \frac {2 a e^{3} \operatorname {RootSum} {\left (256 t^{4} a^{2} c^{3} e^{4} + 32 t^{2} a c^{2} d e^{2} + a e^{2} + c d^{2}, \left ( t \mapsto t \log {\left (64 t^{3} a c^{2} e^{2} + 4 t c d + \sqrt {d + e x} \right )} \right )\right )}}{c} - 4 d^{3} e \operatorname {RootSum} {\left (t^{4} \cdot \left (256 a^{3} c e^{6} + 256 a^{2} c^{2} d^{2} e^{4}\right ) + 32 t^{2} a c d e^{2} + 1, \left ( t \mapsto t \log {\left (- 64 t^{3} a^{2} c d e^{4} - 64 t^{3} a c^{2} d^{3} e^{2} + 4 t a e^{2} - 4 t c d^{2} + \sqrt {d + e x} \right )} \right )\right )} + 2 d^{2} e \operatorname {RootSum} {\left (256 t^{4} a^{2} c^{3} e^{4} + 32 t^{2} a c^{2} d e^{2} + a e^{2} + c d^{2}, \left ( t \mapsto t \log {\left (64 t^{3} a c^{2} e^{2} + 4 t c d + \sqrt {d + e x} \right )} \right )\right )} + 4 d^{2} e \operatorname {RootSum} {\left (256 t^{4} a^{2} c^{3} e^{4} + 32 t^{2} a c^{2} d e^{2} + a e^{2} + c d^{2}, \left ( t \mapsto t \log {\left (64 t^{3} a c^{2} e^{2} + 4 t c d + \sqrt {d + e x} \right )} \right )\right )} + \frac {4 d e \sqrt {d + e x}}{c} + \frac {2 e \left (d + e x\right )^{\frac {3}{2}}}{3 c} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 53.68, size = 373, normalized size = 0.48 \begin {gather*} \frac {{\left (c^{4} d^{4} - 3 \, a c^{3} d^{2} e^{2} + {\left (3 \, a c d^{2} e^{2} - a^{2} e^{4}\right )} c^{2} + 2 \, {\left (\sqrt {-a c} c^{2} d^{3} e + \sqrt {-a c} a c d e^{3}\right )} {\left | c \right |}\right )} \arctan \left (\frac {\sqrt {x e + d}}{\sqrt {-\frac {c^{4} d + \sqrt {c^{8} d^{2} - {\left (c^{4} d^{2} + a c^{3} e^{2}\right )} c^{4}}}{c^{4}}}}\right )}{{\left (a c^{3} e + \sqrt {-a c} c^{3} d\right )} \sqrt {-c^{2} d - \sqrt {-a c} c e}} + \frac {{\left (c^{4} d^{4} - 3 \, a c^{3} d^{2} e^{2} + {\left (3 \, a c d^{2} e^{2} - a^{2} e^{4}\right )} c^{2} - 2 \, {\left (\sqrt {-a c} c^{2} d^{3} e + \sqrt {-a c} a c d e^{3}\right )} {\left | c \right |}\right )} \arctan \left (\frac {\sqrt {x e + d}}{\sqrt {-\frac {c^{4} d - \sqrt {c^{8} d^{2} - {\left (c^{4} d^{2} + a c^{3} e^{2}\right )} c^{4}}}{c^{4}}}}\right )}{{\left (a c^{3} e - \sqrt {-a c} c^{3} d\right )} \sqrt {-c^{2} d + \sqrt {-a c} c e}} + \frac {2 \, {\left ({\left (x e + d\right )}^{\frac {3}{2}} c^{2} e + 6 \, \sqrt {x e + d} c^{2} d e\right )}}{3 \, c^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.48, size = 2500, normalized size = 3.20 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________